Some Estelle mechanisms revisited

نویسنده

  • Stanislaw Budkowski
چکیده

We try to make an (incomplete) outline of Estelle mechanisms that have been discussed over last years. We think it is time to summarise some of the experience and be prepared for broader discussion on the language futures. We repeat and remind some arguments that were raised while the language was being designed, add some new ones and give references to works that addressed a particular subject. The mechanisms that are discussed below are not ordered by any priorities, and many of them are strongly inter-related. The list is by no means complete. We try to avoid any conclusive remarks, but our preference is to keep the original principles and "logic" of the language. We are making, however, some concrete proposition related to inter-module communication and structuralization.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Inhibition Revisited in EFL Learning/Teaching

In the affective sphere of EFL learning especially with regard to teaching/learning situations in Iran, one deterrent element seizes particular attention and that is inhibition self-imposed restraint on or abstinence from learning due to academic and non-academic variables such as culture, gender, psyche, extreme emotions, etc. It is related to language ego permeability hypothesis (LEPH) which ...

متن کامل

Specifying Multimedia QoS Parameters and Synchronization using

A distributed multimedia system (DMS) involves the transmissions of different types of data over the same or different communication channels. Data include noncontinuous ones, like text and image, and continuous ones, like video and audio, which are characterized by time. A specification language to specify multimedia Quality of Service (QoS) parameters synchronisation mechanisms, it must be ab...

متن کامل

Teaching Estelle: Lessons from Experience

An experience in teaching Estelle and its enhanced variant Estelle* in both an industrial and academic context is discussed. The proposed program covers EFSMs, Petri nets, Labeled Transition Systems, Estelle and Estelle*. Some lessons learnt in teaching the Estelle* methodology are reported.

متن کامل

ACADEMIC WRITING REVISITED: A PHRASEOLOGICAL ANALYSIS OF APPLIED LINGUISTICS HIGH-STAKE GENRES FROM THE PERSPECTIVE OF LEXICAL BUNDLES

Lexical bundles are frequent word combinations that commonly appear in different registers. They have been the subject of much research in the area of corpus linguistics during the last decade. While most previous studies of bundles have mainly focused on variations in the use of these word combinations across different registers and a number of disciplines, not much research has been done to e...

متن کامل

Timed Automata Generation from Estelle Speci cations

The aim of this paper is to present a new method to generate timed input/output automata from Estelle speciications. The main idea is to extend the ESTELLE language with a new constructor : TVAR, which permits the deenition of clocks to be used for time constraints. The second concept is to propose some semantic rules in order to deene how to take into account clock constraints in the ESTELLE s...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007